61. Formal aspects of component software :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
F67

62. Formal methods for industrial critical systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.

رده :
QA76
.
9
.
F67
I58
2018eb

63. Fundamental approaches to software engineering :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.

رده :
QA76
.
758
.
F37
2018eb

64. Fuzzing for software security testing and quality assurance /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer networks-- Security measures.,Computer security.,Computer software-- Development.,Computer networks-- Security measures.,Computer security.,Computer software-- Development.,COMPUTERS-- Security-- General.

رده :
QA76
.
9
.
A25
F89
2018eb

65. Fuzzing for software security testing and quality assurance /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer networks-- Security measures.,Computer security.,Computer software-- Development.,Logiciels-- Qualité-- Contrôle.,Réseaux d'ordinateurs-- Sécurité-- Mesures.,Sécurité informatique.,Computer networks-- Security measures.,Computer security.,Computer software-- Development.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.

رده :
QA76
.
9
.
A25
T335
2008eb

66. Graphics and multimedia for the web with Adobe Creative Cloud :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Adobe Creative Suite.,Adobe Creative Suite.,Computer graphics.,Desktop publishing.,Graphic arts-- Computer programs.,Web sites-- Authoring programs.,Computer graphics.,COMPUTERS-- General.,Desktop publishing.,Graphic arts-- Computer programs.,Graphics programming.,Web programming.,Web sites-- Authoring programs.

رده :
T385

67. Guide to Scientific Computing in C++ /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.

رده :
QA76
.
6-76
.
66

68. Guide to discrete mathematics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.

رده :
QA76
.
9
.
M35

69. Guide to scientific computing in C++ /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : C++ (Computer program language),Science-- Data processing.,C++ (Computer program language),Computer modelling & simulation.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Data Processing.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Maths for computer scientists.,Programming & scripting languages: general.,Science-- Data processing.,Software Engineering.

رده :
QA76
.
73
.
C153

70. Hands-on penetration testing on Windows :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Kali Linux.,Microsoft Windows (Computer file),Kali Linux.,Microsoft Windows (Computer file),Computer security.,Computers-- Access control.,Penetration testing (Computer security),Windows PowerShell (Computer program language),Computer security.,Computers-- Access control.,Penetration testing (Computer security),Windows PowerShell (Computer program language)

رده :
QA76
.
9
.
A25

71. Hardening Linux

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Linux device drivers (Computer programs),Computer security,Operating systems (Computers),Software maintenance,Computer networks- Security measures

رده :
QA76
.
76
.
D49
,
T87
2005

72. How to Cheat in Maya 2017 :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Maya (Computer file),Maya (Computer file),Computer animation.,Computer animation.,COMPUTERS-- General.

رده :
TR897
.
7

73. How we test software at Microsoft /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Microsoft Corporation.,Microsoft Corporation.,Microsoft Corporation.,Computer software-- Testing, Case studies.,Computer software-- Testing.,Computer Science.,Computer software-- Testing-- Case studies.,Computer software-- Testing.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Engineering & Applied Sciences.,Software.,Test

رده :
QA76
.
76
.
T48
P34
2009

74. (ISC)² CISSP certified information systems security professional official study guide /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer networks-- Security measures-- Examinations, Study guides.,Computer security-- Examinations, Study guides.,Electronic data processing personnel-- Certification.,Telecommunications engineers-- Certification.,Computer networks-- Security measures-- Examinations.,Computer security-- Examinations.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,Electronic data processing personnel-- Certification.,Telecommunications engineers-- Certification.

رده :
QA76
.
3
.
C4255
2018

75. Information Systems:

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Computer Science.,Computers.

رده :
QA75
.
5
E358
1987

76. Innovative techniques in instruction technology, e-learning, e-assessment, and education /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer-assisted instruction.,Computer-assisted instruction.,Computer-assisted instruction.,COMPUTERS-- Educational Software.,Informatique.

رده :
LB1028
.
5
.
I52
2008eb

77. Integrated approach to web performance testing :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Application software-- Development.,Computer software-- Testing.,Web services.,Application software-- Development.,Computer software-- Testing.,COMPUTERS-- Digital Media-- General.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Web-- Site Design.,COMPUTERS-- Web-- User Generated Content.,Web services.

رده :
TK5105
.
88813
.
I55
2006eb

78. Introducing InnoDB Cluster :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : MySQL (Electronic resource),MySQL (Electronic resource),Database management.,Computer programming-- software development.,COMPUTERS-- Databases-- General.,Database management.,Databases.

رده :
QA76
.
9
.
D3

79. J. UCS :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Mathematics.,Computer science.,Information technology.

80. Java frameworks and components :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Application software-- Development.,Java (Computer program language),Anwendungssoftware,Application software-- Development.,Computer Science.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,Engineering & Applied Sciences.,Java,Java (Computer program language),Softwareentwicklung

رده :
QA76
.
73
.
J38
N355
2003eb